منابع مشابه
Automated Deduction for Logics of Default Reasoning
We present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.
متن کاملClassical and Nonclassical Logics
Schechter, Eric, 1950– Classical and nonclassical logics : an introduction to the mathematics of propositions / Eric Schechter. p. cm. Includes bibliographical references and index. British Library Cataloging-in-Publication Data is available The publisher would like to acknowledge the author of this volume for providing the camera-ready copy from which this book was printed.
متن کاملPolyadic Algebras over Nonclassical Logics
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)’s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Lukasiewicz, modal logics that admit the ru...
متن کاملQuantum Logic and Nonclassical Logics
Classical logic is sometimes described as “the logic of an omniscient mind in a deterministic universe”. From an intuitive point of view the basic features of classical semantics can be summarized as follows: 1) any problem is semantically decided : for any sentence α, either α or its negation ¬α is true (excluded middle principle); at the same time, a sentence α and its negation ¬α cannot be b...
متن کاملFuture directions of automated deduction: Distributed automated deduction
Distributed automated deduction is concerned with the design and realization of strategies where multiple deductive processes work concurrently towards the solution of theorem-proving problems. These strategies are usually implemented in distributed environments, such as a network of computers, or a loosely coupled, asynchronous multiprocessor, where each deductive process runs on a node of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1991
ISSN: 0167-6423
DOI: 10.1016/0167-6423(91)90047-2